home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / tsql / doc / glossary.mail / 000037_info-tsql-sender_Mon May 31 01:27:29 1993.msg < prev   
Internet Message Format  |  1993-06-11  |  11KB
  1. Date: Mon, 31 May 93 09:50:09 +0100
  2. From: montana@udmi5400.cineca.it (Angelo Montanari)
  3. To: tsql@cs.arizona.edu
  4. Subject: new glossary entries
  5. Cc: montana@udmi5400.cineca.it
  6. Status: RO
  7. Content-Length: 10247
  8. X-Lines: 323
  9.  
  10. \documentstyle[11pt]{article}
  11. \newcommand{\entry}[1]{\subsubsection*{#1}}
  12. \begin{document}
  13.                   
  14. \section*{New glossary entries}
  15.  
  16. To the TSQL group,
  17.  
  18. \noindent
  19. please find enclosed some new glossary entries. We would like to acknowledge
  20. the contributions of Curtis Dyereson to their clarification and refinement
  21. by several e-mail discussions. Part of them are revised versions of entries
  22. we proposed in previous messages, namely, temporal qualification,
  23. chronologically definite, chronologically indefinite, absolute time, relative
  24. time. We hope that we can definitively agree about them. Part of them modify or
  25. integrate existing glossary entries, namely instant, event, event occurrence
  26. time, interval, interval relation, interval relation holding time, macro-event.
  27. We believe that they require a general discussion.
  28.  
  29. \subsection{Instant}
  30.  
  31. \entry{Definition}
  32.  
  33. An instant is a point on the time axis. It belongs to a single chronon {\sl t}.
  34. Many instants could belong to the same chronon. All the instants that belong
  35. to a chronon are represented by that chronon. 
  36.  
  37. \entry{Alternative Names}
  38.  
  39. Event, moment.
  40.  
  41. \entry{Discussion}
  42.  
  43. ``Event'' is often given a different meaning (-E5), while ``moment'' my be
  44. confused with the distinct term ``chronon'' (-E7).
  45.  
  46. \subsection{Event}
  47.  
  48. \entry{Definition}
  49.  
  50. An event is an instantaneous fact, i.e. something occurring at an instant.
  51. An event is said to occur at a chronon {\sl t} if it occurs at any instant 
  52. during {\sl t}.
  53.  
  54. \entry{Alternative Names}
  55.  
  56. Event relation, instant relation.
  57.  
  58. \entry{Discussion}
  59.  
  60. ``Event relation'' is not consistent with the distinction between ``instant'' 
  61. and ``event'' (-E7). ``Instant relation'' is longer than event (-E2).
  62.  
  63. \subsection{Event occurrence time}
  64.  
  65. \entry{Definition}
  66.  
  67. The event occurrence time is the instant at which the event occurs 
  68. in the real-world. The valid time associated with the event is the chronon {\sl
  69. t} to which the event occurrence time belongs.
  70.  
  71. \entry{Alternative Names}
  72.  
  73. Event time.
  74.  
  75. \entry{Discussion}
  76.  
  77. Event occurrence time is more precise than event time (+E9). Nevertheless, when
  78. the context is clear, the event occurrence time may be shorthened to the event
  79. time.
  80.  
  81. \subsection{Interval}
  82.  
  83. \entry{Definition}
  84.  
  85. An interval is the time between two instants. It may be represented by a set of
  86. contiguous chronons.
  87.  
  88. \entry{Alternative Names}
  89.  
  90. Time period.
  91.  
  92. \entry{Discussion}
  93.  
  94. The name ``interval'' is widely accepted (+E3). The name ``period'' often
  95. implies a cyclic or recurrent phenomenon (-E8,-E9). In addition, ``time
  96. period'' is longer (-E2).
  97.  
  98. \subsection{Interval relation}
  99.  
  100. \entry{Definition}
  101.  
  102. An interval relation is a (non-wholistic) fact with duration. An interval
  103. relation is said to hold over an interval {\sl I} if it holds at all time
  104. instants belonging to the set of contiguous chronons representing {\sl I}.
  105.  
  106. \entry{Alternative Names}
  107.  
  108. \entry{Discussion}
  109.  
  110. \subsection{Interval relation holding time}
  111.  
  112. \entry{Definition}
  113.  
  114. The interval relation holding time is the set of contiguous instants 
  115. over which the interval relation holds in the real-world.
  116. The valid time interval associated with the interval relation is the pair
  117. consisting of the starting and the ending chronons.
  118.  
  119. \entry{Alternative Names}
  120.  
  121. Interval relation time.
  122.  
  123. \entry{Discussion}
  124.  
  125. Interval relation holding time is more precise than interval relation time 
  126. (+E9). Nevertheless, when the context is clear, the interval relation holding
  127. time may be shorthened to the interval relation time.
  128.  
  129. \subsection{Macro-Event}
  130.  
  131. \entry{Definition}
  132.  
  133. A macro-event is a wholistic fact with duration, i.e. something occurring
  134. over an interval taken as a whole. A macro-event is said to occur over an
  135. interval {\sl I} if it occurs over the set of contiguous chronons representing
  136. {\sl I} (considered as a whole).
  137.  
  138. \entry{Alternative Names}
  139.  
  140. Process.
  141.  
  142. \entry{Discussion}
  143.  
  144. ``Process'' is an over-loaded term, that is, a term having quite different
  145. meanings in different contexts (-E9).
  146.  
  147. Examples of macro-events are baking a cake, having a dinner party, flying from
  148. Rome to Paris.
  149.  
  150. It is worth remarking the distinction between macro-events and interval
  151. relations. Saying that a macro-event relates to the structure of an interval as
  152. whole means that if it consumes a certain interval it cannot possibly transpire
  153. during any subinterval thereof.
  154.  
  155. \subsection{Temporal Qualification}
  156.  
  157. \entry{Definition}
  158.  
  159. The temporal qualification of a statement is  the component of the statement
  160. that specifies the temporal localization  of the denoted fact, namely, an
  161. associated instant, span, or interval. 
  162.  
  163. \entry{Alternative Names}
  164.  
  165. Time specification.
  166.  
  167. \entry{Discussion}
  168.  
  169. We assume one temporal qualification per statement. Moreover, we assume that
  170. implicit temporal  qualifications  (e.g. tense qualifications) are  always made
  171. explicit. As an  example, we assume  that the statement  ``They went to 
  172. Arlington'' is  rewritten as ``Sometimes in the past is true  that they {\em go}
  173. to Arlington''. Finally, if the temporal qualification is absent or missing
  174. the default qualification is the current time ``now''. 
  175.  
  176. We distinguish between two different types of temporal qualifications, namely,
  177. chronologically definite and indefinite temporal qualifications. 
  178.  
  179. \subsection{Chronologically definite temporal qualification}
  180.  
  181. \entry{Definition}
  182.  
  183. Chronologically definite temporal qualifications are specifications
  184. of absolute temporal positions.
  185.  
  186. \entry{Alternative Names}
  187.  
  188. \entry{Discussion}
  189.  
  190. Examples are: June 15, 1993 (dates), 397 years after the discovering of America.
  191. The notion of chronologically definite temporal qualification is different from
  192. the notion of absolute time. Consider the case of temporal qualifications
  193. relating the occurrence time of an event to the occurrence time of another event
  194. rather than to the current (implicit) time {\em now}. Even if they can be
  195. considered relative times, they are chronologically definite. They specify  an
  196. absolute temporal position which may possibly be unknown  (it depends on common
  197. sense as well as context knowledge). Examples of statements including these
  198. kinds of chronologically definite temporal qualifications are: ``the French
  199. revolution  occurred 397  years after  the discovering of America'', ``Mary's 
  200. salary was raised  before Lucy's''.  
  201.  
  202. \subsection{Chronologically indefinite temporal qualification}
  203.  
  204. \entry{Definition}
  205.  
  206. Chronologically indefinite temporal qualifications are specifications
  207. of temporal positions in terms of displacements with respect 
  208. to the current time ({\em now}) which is left implicit.
  209.  
  210. \entry{Alternative Names}
  211.  
  212. \entry{Discussion}
  213.  
  214. The notion of chronologically indefinite temporal qualification is different
  215. from the notion of relative time as shown in the related discussion about
  216. chronologically definite temporal qualifications. Examples are: tomorrow,
  217. three days ago, next month. 
  218.  
  219. \subsection{Chronologically Definite}
  220.  
  221. \entry{Definition}
  222.  
  223. Chronologically definite statements are statements whose truth 
  224. value does not vary, because it does not depend on the time at 
  225. which they are evaluated. Chronologically definite statements
  226. are characterized by chronologically stable temporal qualifications.
  227.  
  228. \entry{Alternative Names}
  229.  
  230.  
  231. \entry{Discussion}
  232.  
  233. Examples are: ``Jack was killed on xx/xx/1990'', it happened sometime in 1999'',
  234. ``the Jurassic is sometime after the Triassic'', ``the French revolution 
  235. occurred 397 years after the discovering of America''.
  236.  
  237. In particular, consider the statement ``the French revolution 
  238. occurred 397 years after the discovering of America'', where 
  239. the occurrence time of ``the French revolution'' is given with 
  240. respect to the occurrence time of ``the discovering of America''  
  241. by means of the temporal qualifier ``397 years after'' (relative 
  242. time). This statement is chronologically definite, because its 
  243. truth value does not depend on the time at which it is evaluated. 
  244.  
  245.  
  246. \subsection{Chronologically Indefinite}
  247.  
  248. \entry{Definition}
  249.  
  250. Chronologically indefinite statements are statements whose truth 
  251. value may vary, because it depends on the time at which they are 
  252. evaluated. Chronologically indefinite statements are characterized
  253. by chronologically unstable temporal qualifications or are devoid
  254. of any temporal qualification (a statement with no temporal 
  255. qualification is equivalent to a statement characterized by a zero
  256. displacement with the respect to the implicit current time).
  257.  
  258. \entry{Alternative Names}
  259.  
  260.  
  261. \entry{Discussion}
  262.  
  263. Examples are: ``Mary's salary was raised yesterday'', ``it happened sometime
  264. last week'', ``it happened on Easter'', ``it happened within 3 days of 
  265. Easter''.
  266.  
  267. \subsection{Absolute time}
  268.  
  269. \entry{Definition}
  270.  
  271. Modifier indicating that a specific valid time at a given time-stamp granularity
  272. is associated with a fact. Such a time depends neither on the valid time of
  273. another fact nor on the current time now.
  274.  
  275. \entry{Alternative Names}
  276.  
  277.  
  278. \entry{Discussion}
  279.  
  280. Examples are: ``Mary's salary was raised on March 30, 1993'', ``Jack was killed
  281. on xx/xx/1990''.
  282.  
  283. Notice that absolute times are associated with chronologically definite 
  284. statements only.
  285.  
  286.  
  287. \subsection{Relative time}
  288.  
  289. \entry{Definition}
  290.  
  291. Modifier indicating that the valid time of a fact is related to either the valid 
  292. time of another fact or the current time now.
  293.  
  294. \entry{Alternative Names}
  295.  
  296.  
  297. \entry{Discussion}
  298.  
  299. The relationship between times can be qualitative (before, after, etc.) as well
  300. as quantitative (3 days before, 397 years after, etc.).
  301.  
  302. Examples are: ``Mary's salary was raised yesterday'', ``it happened sometime
  303. last week'', ``it happened within 3 days of Easter'', ``the Jurassic is sometime
  304. after the Triassic'', ``the French revolution  occurred 397 years after the
  305. discovering of America''.
  306.  
  307. Notice that both chronologically indefinite and definite statements can involve
  308. relative times.
  309.  
  310. \vskip0.5cm
  311.  
  312. \noindent
  313. Comments are welcome
  314.  
  315. \vskip0.5cm
  316. \noindent
  317. Angelo Montanari, Elisa Peressi, Barbara Pernici
  318.  
  319. \begin{verbatim}
  320. Dipartimento di Matematica e Informatica
  321. Via Zanon, 6
  322. 33100 Udine (Italy)
  323. ph. +39 432 272 218/206
  324. fax +39 432 510755
  325. montanari@uduniv.cineca.it / montana@udmi5400.cineca.it
  326. pernici@uduniv.cineca.it   / pernici@ipmel2.polimi.it
  327. peressi@udmi5400.cineca.it
  328. \end{verbatim}
  329.  
  330. \end{document}
  331.  
  332.